(pretty-print (+ 1 2))
(display "hello world")